منابع مشابه
Almost Sure Productivity
We define Almost Sure Productivity (ASP), a probabilistic generalization of the productivity condition for coinductively defined structures. Intuitively, a probabilistic coinductive stream or tree is ASP if it produces infinitely many outputs with probability 1. Formally, we define almost sure productivity using a final coalgebra semantics of programs inspired from Kerstan and König. Then, we i...
متن کاملBeyond Almost-Sure Termination
The aim of this paper is to argue that models in cognitive science based on probabilistic computation should not be restricted to those procedures that almost surely (with probability 1) terminate. There are several reasons to consider nonterminating procedures as candidate components of cognitive models. One theoretical reason is that there is a perfect correspondence between the enumerable se...
متن کاملAn Almost Sure Large Deviation Principle for the Hopfield Model
We prove a large deviation principle for the finite dimensional marginals of the Gibbs distribution of the macroscopic ‘overlap’-parameters in the Hopfield model in the case where the number of random ‘patterns’, M , as a function of the system size N satisfies lim supM(N)/N = 0. In this case the rate function is independent of the disorder for almost all realizations of the patterns.
متن کاملAn Almost Sure Central Limit Theorem for the Hopfield Model#
We prove a central limit theorem for the nite dimensional marginals of the Gibbs distribution of the macroscopicòverlap'-parameters in the Hoppeld model in the case where the number of random`patterns', M, as a function of the system size N satisses lim N"1 M(N)=N = 0, without any assumptions on the speed of convergence. The covariance matrix of the limiting gaussian distributions is diagonal a...
متن کاملAn almost sure limit theorem for super - Brownian motion 1
We establish an almost sure scaling limit theorem for super-Brownian motion on R associated with the semi-linear equation ut = 1 2∆u + βu − αu2, where α and β are positive constants. In this case, the spectral theoretical assumptions that required in Chen et al (2008) are not satisfied. An example is given to show that the main results also hold for some sub-domains in R. AMS Subject Classifica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Journal of Probability
سال: 2013
ISSN: 1083-6489
DOI: 10.1214/ejp.v18-2231